Type Reconstruction for Type Classes Tu Mm Unchen 4
نویسندگان
چکیده
We study the type inference problem for a system with type classes as in the functional programming language Haskell. Type classes are an extension of ML-style polymorphism with overloading. We generalize Milner's work on polymorphism by introducing a separate context constraining the type variables in a typing judgement. This leads to simple type inference systems and algorithms which closely resemble those for ML. In particular we present a new uniication algorithm which is an extension of syntactic uniication with constraint solving. The existence of principal types follows from an analysis of this uniication algorithm.
منابع مشابه
Charakterisierung der Farbeigenschaften melanozytärer Hautveränderungen zur Unterstützung der Früherkennung des malignen Melanoms
Max-Planck-Institut f ur extraterrestrische Physik, Garching Department of Electrical Engineering, University of Sydney Institut f ur medizinische Statistik und Epidemiologie, TU M unchen Klinik und Poliklinik f ur Dermatologie der Universit at Regensburg Fachbereich Informatik/Mathematik, Fachhochschule M unchen Lehrstuhl f ur Theoretische Informatik und Grundlagen der KI, TU M unchen ...
متن کاملPatient Race and Provider Predict Patient Satisfaction Following Post-Mastectomy Breast Reconstruction
BACKGROUND Post-mastectomy breast reconstruction is commonly performed in the United States with numerous options available to patients and providers. This study evaluated patient race and provider in prediction of patient satisfaction following post-mastectomy breast reconstruction. METHODS The patient satisfaction for women who underwent post mastectomy breast reconstruction at U...
متن کاملQuantitative reconstruction of past climates using extension of modern climate-pollen relations based on the MAT method
Introduction Instrumental records span only a tiny fraction (<107) of the Earth’s climatic history. Therefore, indirect source of climate data must be used. Subfossil pollen and plant macrofossil data derived from sediment profiles can provide quantitative information on past climate. Recognizing the relationship between pollen assemblages and climatic variables and then interpreting foss...
متن کاملNew classes of Lyapunov type inequalities of fractional $Delta$-difference Sturm-Liouville problems with applications
In this paper, we consider a new study about fractional $Delta$-difference equations. We consider two special classes of Sturm-Liouville problems equipped with fractional $Delta$-difference operators. In couple of steps, the Lyapunov type inequalities for both classes will be obtained. As application, some qualitative behaviour of mentioned fractional problems such as stability, ...
متن کاملEffect of thiourea on proteins, catalase, guaiacol-peroxidase and protease activities in wheat leaves under H2O2 induced oxidative stress . Ajmad Hameed1*, Liala Jafri2 and Muneer A. Sheikh2
The effect of different thiourea (TU) concentrations (10 and 20 mM) on antioxidants, protease activity and protein content with and without H2O2 (50 mM) induced stress was investigated in wheat leaves. A gradual decrease in protein content with a peak at 72 hours was observed in stressed as well as control leaves. This gradual decrease in leaf protein content at different time intervals was com...
متن کامل